（来源：上观新闻）
“用户通常使👀用自然🤟🏦语言描述系统🇲🇵设计，FM-🤚🇧🇾Agent 生🎿👢成的规🦓🔵约也是自然🛠🚯语言，而传统🦑📗形式化验证器只🦓支持基🇻🇮🇬🇬于数学公式的推理👨👩👧，二者存在💻巨大的语义🇳🇮鸿沟👡😙。去听那些一辈子🏥都在研究这个🧠的经济学家🥃👨🎤。虽然孙正义投资阿📢🍴里巴巴的战绩🥁值得称道🎴，但他💍👹肯定也有🦕🈵看走眼🔠🇰🇭的时候🇦🇬👢。材料板块的机会👨👩👧，不只在靶材 🇨🇨长期以来，中国的⚠靶材市场高度依🐴赖进口🇬🇩。而无本体🔈数据(不依赖😆🇬🇸于特定机器💺人硬件本🤬🐝体的数据，包括人💀❌类数据与😂仿真合成数据)由🌦于缺乏规🏴🔓模化产能，🐯曾出现过报价比真💮机数据还贵的☑情况⛄。
Lint 规则🗾🏗、CI🇭🇷💀 自动测试、Pr🚺🧘♀️ompt 约🖊束、代🇧🇶码模板📫、架构 🌄♣Fitnes💏s Fu🇨🇻nction ◼🏔都是属于 Har6️⃣☯ness⛪🇨🇱。数据的🐴扩展则🇨🇿直截了当：数据越🌥🧁多，l◀oss越低💸。在苏昊新🈷的个人主页上😐👩，已经更新了在🌞🇳🇷复旦的👴🚍最新任职ℹ。从智能化和🇨🇼💓制造环节来看，👋中国和美国是🇲🇶全球为数不多的具👨🎤🎥备能力的国♊🤨家🕢🎗。
